Optimal. Leaf size=131 \[ -\frac {\log \left ((c \cot (a+b x))^{2/3}+c^{2/3}\right )}{2 b \sqrt [3]{c}}+\frac {\log \left (-c^{2/3} (c \cot (a+b x))^{2/3}+(c \cot (a+b x))^{4/3}+c^{4/3}\right )}{4 b \sqrt [3]{c}}+\frac {\sqrt {3} \tan ^{-1}\left (\frac {c^{2/3}-2 (c \cot (a+b x))^{2/3}}{\sqrt {3} c^{2/3}}\right )}{2 b \sqrt [3]{c}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 131, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 9, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.750, Rules used = {3476, 329, 275, 200, 31, 634, 617, 204, 628} \[ -\frac {\log \left ((c \cot (a+b x))^{2/3}+c^{2/3}\right )}{2 b \sqrt [3]{c}}+\frac {\log \left (-c^{2/3} (c \cot (a+b x))^{2/3}+(c \cot (a+b x))^{4/3}+c^{4/3}\right )}{4 b \sqrt [3]{c}}+\frac {\sqrt {3} \tan ^{-1}\left (\frac {c^{2/3}-2 (c \cot (a+b x))^{2/3}}{\sqrt {3} c^{2/3}}\right )}{2 b \sqrt [3]{c}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 200
Rule 204
Rule 275
Rule 329
Rule 617
Rule 628
Rule 634
Rule 3476
Rubi steps
\begin {align*} \int \frac {1}{\sqrt [3]{c \cot (a+b x)}} \, dx &=-\frac {c \operatorname {Subst}\left (\int \frac {1}{\sqrt [3]{x} \left (c^2+x^2\right )} \, dx,x,c \cot (a+b x)\right )}{b}\\ &=-\frac {(3 c) \operatorname {Subst}\left (\int \frac {x}{c^2+x^6} \, dx,x,\sqrt [3]{c \cot (a+b x)}\right )}{b}\\ &=-\frac {(3 c) \operatorname {Subst}\left (\int \frac {1}{c^2+x^3} \, dx,x,(c \cot (a+b x))^{2/3}\right )}{2 b}\\ &=-\frac {\operatorname {Subst}\left (\int \frac {1}{c^{2/3}+x} \, dx,x,(c \cot (a+b x))^{2/3}\right )}{2 b \sqrt [3]{c}}-\frac {\operatorname {Subst}\left (\int \frac {2 c^{2/3}-x}{c^{4/3}-c^{2/3} x+x^2} \, dx,x,(c \cot (a+b x))^{2/3}\right )}{2 b \sqrt [3]{c}}\\ &=-\frac {\log \left (c^{2/3}+(c \cot (a+b x))^{2/3}\right )}{2 b \sqrt [3]{c}}+\frac {\operatorname {Subst}\left (\int \frac {-c^{2/3}+2 x}{c^{4/3}-c^{2/3} x+x^2} \, dx,x,(c \cot (a+b x))^{2/3}\right )}{4 b \sqrt [3]{c}}-\frac {\left (3 \sqrt [3]{c}\right ) \operatorname {Subst}\left (\int \frac {1}{c^{4/3}-c^{2/3} x+x^2} \, dx,x,(c \cot (a+b x))^{2/3}\right )}{4 b}\\ &=-\frac {\log \left (c^{2/3}+(c \cot (a+b x))^{2/3}\right )}{2 b \sqrt [3]{c}}+\frac {\log \left (c^{4/3}-c^{2/3} (c \cot (a+b x))^{2/3}+(c \cot (a+b x))^{4/3}\right )}{4 b \sqrt [3]{c}}-\frac {3 \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 (c \cot (a+b x))^{2/3}}{c^{2/3}}\right )}{2 b \sqrt [3]{c}}\\ &=\frac {\sqrt {3} \tan ^{-1}\left (\frac {1-\frac {2 (c \cot (a+b x))^{2/3}}{c^{2/3}}}{\sqrt {3}}\right )}{2 b \sqrt [3]{c}}-\frac {\log \left (c^{2/3}+(c \cot (a+b x))^{2/3}\right )}{2 b \sqrt [3]{c}}+\frac {\log \left (c^{4/3}-c^{2/3} (c \cot (a+b x))^{2/3}+(c \cot (a+b x))^{4/3}\right )}{4 b \sqrt [3]{c}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.16, size = 98, normalized size = 0.75 \[ \frac {\sqrt [3]{\cot (a+b x)} \left (-2 \log \left (\cot ^{\frac {2}{3}}(a+b x)+1\right )+\log \left (\cot ^{\frac {4}{3}}(a+b x)-\cot ^{\frac {2}{3}}(a+b x)+1\right )-2 \sqrt {3} \tan ^{-1}\left (\frac {2 \cot ^{\frac {2}{3}}(a+b x)-1}{\sqrt {3}}\right )\right )}{4 b \sqrt [3]{c \cot (a+b x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.77, size = 639, normalized size = 4.88 \[ \left [\frac {\sqrt {3} c \sqrt {\frac {\left (-c\right )^{\frac {1}{3}}}{c}} \log \left (\frac {1}{2} \, \sqrt {3} {\left (\left (-c\right )^{\frac {2}{3}} \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {2}{3}} {\left (\cos \left (2 \, b x + 2 \, a\right ) - 1\right )} - 2 \, c \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {1}{3}} \sin \left (2 \, b x + 2 \, a\right ) + {\left (c \cos \left (2 \, b x + 2 \, a\right ) - c\right )} \left (-c\right )^{\frac {1}{3}}\right )} \sqrt {\frac {\left (-c\right )^{\frac {1}{3}}}{c}} - \frac {3}{2} \, \left (-c\right )^{\frac {1}{3}} \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {2}{3}} {\left (\cos \left (2 \, b x + 2 \, a\right ) - 1\right )} + \frac {3}{2} \, c \cos \left (2 \, b x + 2 \, a\right ) + \frac {1}{2} \, c\right ) - 2 \, \left (-c\right )^{\frac {2}{3}} \log \left (\left (-c\right )^{\frac {2}{3}} + \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {2}{3}}\right ) + \left (-c\right )^{\frac {2}{3}} \log \left (-\frac {\left (-c\right )^{\frac {1}{3}} c \sin \left (2 \, b x + 2 \, a\right ) + \left (-c\right )^{\frac {2}{3}} \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {2}{3}} \sin \left (2 \, b x + 2 \, a\right ) - {\left (c \cos \left (2 \, b x + 2 \, a\right ) + c\right )} \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {1}{3}}}{\sin \left (2 \, b x + 2 \, a\right )}\right )}{4 \, b c}, -\frac {2 \, \sqrt {3} c \sqrt {-\frac {\left (-c\right )^{\frac {1}{3}}}{c}} \arctan \left (\frac {\sqrt {3} \left (-c\right )^{\frac {1}{3}} c \sqrt {-\frac {\left (-c\right )^{\frac {1}{3}}}{c}} + 2 \, \sqrt {3} \left (-c\right )^{\frac {2}{3}} \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {2}{3}} \sqrt {-\frac {\left (-c\right )^{\frac {1}{3}}}{c}}}{3 \, c}\right ) + 2 \, \left (-c\right )^{\frac {2}{3}} \log \left (\left (-c\right )^{\frac {2}{3}} + \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {2}{3}}\right ) - \left (-c\right )^{\frac {2}{3}} \log \left (-\frac {\left (-c\right )^{\frac {1}{3}} c \sin \left (2 \, b x + 2 \, a\right ) + \left (-c\right )^{\frac {2}{3}} \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {2}{3}} \sin \left (2 \, b x + 2 \, a\right ) - {\left (c \cos \left (2 \, b x + 2 \, a\right ) + c\right )} \left (\frac {c \cos \left (2 \, b x + 2 \, a\right ) + c}{\sin \left (2 \, b x + 2 \, a\right )}\right )^{\frac {1}{3}}}{\sin \left (2 \, b x + 2 \, a\right )}\right )}{4 \, b c}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{\left (c \cot \left (b x + a\right )\right )^{\frac {1}{3}}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.27, size = 114, normalized size = 0.87 \[ -\frac {c \ln \left (\left (c \cot \left (b x +a \right )\right )^{\frac {2}{3}}+\left (c^{2}\right )^{\frac {1}{3}}\right )}{2 b \left (c^{2}\right )^{\frac {2}{3}}}+\frac {c \ln \left (\left (c \cot \left (b x +a \right )\right )^{\frac {4}{3}}-\left (c^{2}\right )^{\frac {1}{3}} \left (c \cot \left (b x +a \right )\right )^{\frac {2}{3}}+\left (c^{2}\right )^{\frac {2}{3}}\right )}{4 b \left (c^{2}\right )^{\frac {2}{3}}}-\frac {c \sqrt {3}\, \arctan \left (\frac {\sqrt {3}\, \left (\frac {2 \left (c \cot \left (b x +a \right )\right )^{\frac {2}{3}}}{\left (c^{2}\right )^{\frac {1}{3}}}-1\right )}{3}\right )}{2 b \left (c^{2}\right )^{\frac {2}{3}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.42, size = 103, normalized size = 0.79 \[ -\frac {c {\left (\frac {2 \, \sqrt {3} \arctan \left (-\frac {\sqrt {3} {\left (c^{\frac {2}{3}} - 2 \, \left (\frac {c}{\tan \left (b x + a\right )}\right )^{\frac {2}{3}}\right )}}{3 \, c^{\frac {2}{3}}}\right )}{c^{\frac {4}{3}}} - \frac {\log \left (c^{\frac {4}{3}} - c^{\frac {2}{3}} \left (\frac {c}{\tan \left (b x + a\right )}\right )^{\frac {2}{3}} + \left (\frac {c}{\tan \left (b x + a\right )}\right )^{\frac {4}{3}}\right )}{c^{\frac {4}{3}}} + \frac {2 \, \log \left (c^{\frac {2}{3}} + \left (\frac {c}{\tan \left (b x + a\right )}\right )^{\frac {2}{3}}\right )}{c^{\frac {4}{3}}}\right )}}{4 \, b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.58, size = 128, normalized size = 0.98 \[ -\frac {\ln \left ({\left (c\,\mathrm {cot}\left (a+b\,x\right )\right )}^{2/3}+c^{2/3}\right )}{2\,b\,c^{1/3}}-\frac {\ln \left (\frac {81\,c^{11/3}\,\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )}{b^3}+\frac {162\,c^3\,{\left (c\,\mathrm {cot}\left (a+b\,x\right )\right )}^{2/3}}{b^3}\right )\,\left (-1+\sqrt {3}\,1{}\mathrm {i}\right )}{4\,b\,c^{1/3}}+\frac {\ln \left (\frac {81\,c^{11/3}\,\left (1+\sqrt {3}\,1{}\mathrm {i}\right )}{b^3}-\frac {162\,c^3\,{\left (c\,\mathrm {cot}\left (a+b\,x\right )\right )}^{2/3}}{b^3}\right )\,\left (1+\sqrt {3}\,1{}\mathrm {i}\right )}{4\,b\,c^{1/3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{\sqrt [3]{c \cot {\left (a + b x \right )}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________